let x where (x = 1) = 1
